Métodos Formais em Engenharia de Software
Mestrado de [Engenharia] Informática (2012/13)
Cancel
Search
:
^n
Education/MFES1213 Web
Changed
Changed by
NuSMV
13 Dec 2012 - 13:51 - r2
AlcinoCunha
Exercícios sobre Model Checking Instale a ferramenta de model checking NuSMV e utilize a para resolver os seguintes exercícios: 1. Verifique que o de Peterson para ...
Found
1
topics.
Copyright © by the contributing authors. Ideas, requests, problems?
Send feedback
.
Syndicate this site
RSS
ATOM